graph theory:edge set